Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Migrate frontend to MUI. #9899

Merged
merged 1 commit into from
Oct 8, 2024
Merged

Conversation

fniessink
Copy link
Member

  • Settings
  • Menubar

Partially addresses #9796.

@fniessink fniessink force-pushed the 9796-replace-suir-with-mui-settings branch 10 times, most recently from 3f70b26 to 4458510 Compare October 3, 2024 18:34
@fniessink fniessink marked this pull request as ready for review October 3, 2024 20:03
@fniessink fniessink requested a review from wkoot October 3, 2024 20:04
- Settings
- Menubar

Partially addresses #9796.
@fniessink fniessink force-pushed the 9796-replace-suir-with-mui-settings branch from 4458510 to e2263cd Compare October 8, 2024 12:41
@fniessink fniessink enabled auto-merge (rebase) October 8, 2024 12:45
Copy link

sonarqubecloud bot commented Oct 8, 2024

@fniessink fniessink merged commit c37e435 into master Oct 8, 2024
34 checks passed
@fniessink fniessink deleted the 9796-replace-suir-with-mui-settings branch October 8, 2024 12:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants